Add images of rendered mathematics to proofs.md