Update Proof_of_Theorem_Reverse.tex