Add image of rendered mathematics to proofs.md