[math-fun] Fermat's last theorem