Theorem 0.1. 1 + 1 = 2.
Theorem 0.2 (Euler's theorem). A square has four sides.
A square does not have five sides.