∀ p ∈ ℙ : ( ( ∃ m , n ∈ ℤ : m 2 + n 2 = p ) ⟺ p ≢ 3 ( mod 4 ) )
Fermat's theorem on sums of two squares
Zwei-Quadrate-Satz
theorem that an odd prime is a sum of two squares iff it is of the form 4𝑛+1
mathematischer Satz der Zahlentheorie
Fermat's two-square theorem
Fermat's two square theorem
Fermat's 4n+1 Theorem