Erlands lilla sats
Erlands lilla sats säger att [math]\displaystyle g = g[/math](där [math]\displaystyle g \in \mathbb{G}_\mathbb{N}[/math], mängden av godtyckliga tal som även är naturliga). Detta kan se omöjligt ut vid första anblick, men det är inte fallet.
Erland upptäckte detta efter två timmar av slafs på ett matematikprov. Originaluppgiften har han fortfarande inte löst.
Bevis
[math]\displaystyle g = g[/math]
...
[math]\displaystyle g = g[/math]
Eftersom det är trivialt lämnas det som en övning åt läsaren att hitta fler bevis.