Template:Mathematical text/Proof