Simplify use of images in proofs.md