adding in more details for the proof pdf
add in the tex file for notes on proofs