Create Proof_of_Injectivity_Case_2.tex