Fermat's two squares theorem | Synapse