User:MarkH21/Fermat's Last Theorem sandbox