Example ex2-16
Prev:
ex2-15
Next:
ex2-16
Theorem 1:
<math> <mtext> Theorem 1: </mtext> </math>