Template:Mathematical Proof/next