Proofs

Changes to Proved proof

post/proofs/proved