Template:Begin Inline Theorem