Proofs

A collection of proofs.