Lemma 0.0.1: Ploopy
Lemma 0.0.2 (Fermat's lemma): For every copy of Arithmetica by Diophantus, there exists a margin too small to write a proof in.