Update Proof_of_Injectivity_Setup.tex