New proofs

Here are a few proofs of some recent projects I've been working on.