proofs1
proofs2
proofs3
proofs4
proofs5
proofs6
proofs7
proofs8
proofs9
proofs10
proofs11
proofs12
proofs13
