XKCD #2689 | Fermat's First Theorem