proofs

there are some comments in the tex file for you to read as well