The world is a much better place with these proofs written down.