Theorem 0.0.1. Ploopy
Theorem 0.0.2 (Fermat's lemma). For every copy of Arithmetica by Diophantus, there exists a margin too small to write a proof in.
Theorem 0.0.3 (Euler's theorem). A square has four sides.
A square does not have five sides.
Theorem 0.0.4. chungus