Update Proof_of_Theorem_Forward.tex