Theorem 1: if x > 1, then x2 > x.
Theorem 1: if <mi>x</mi> > 1, then <mi>x</mi><sup>2</sup> > <mi>x</mi>.