Algebraic solution of Fermat's theorem | Synapse