Dec_Foran_proof