Sum of two squares theorem
= Sum of two squares theorem
{wiki}
= Fermat's theorem on sums of two squares
{c}
{synonym}
= Fermat's two-square theorem
{c}
{synonym}
A positive integer is a sum of two integer squares exactly when every prime factor congruent to $3$ modulo $4$ has even exponent in its prime factorization.