[math-fun] Fermat's Last Theorem