Proofs

Changes to Proving proof

post/proofs/proving