Beispiele für meine
.theorem
-Klasse.
Today, we are going to prove the following theorem.
For any given integers...