Category:MER Tag Fermat's theorem on sums of two squares