Teorema de los Dos Cuadrados de Fermat

La caracterización de que un primo p puede expresarse como suma de dos cuadrados enteros precisamente cuando p = 2 o p ≡ 1 (mod 4); extendido a enteros: n es suma de dos cuadrados si y solo si cada primo congruente con 3 (mod 4) aparece con exponente par en la factorización prima de n.