Template:Begin Inline Proof