[proofs.jpg]