Create Proof_of_Injectivity_Case_1.tex