Théorème des Deux Carrés de Fermat
Définition
La caractérisation selon laquelle un premier p s'écrit comme somme de deux carrés entiers exactement lorsque p = 2 ou p ≡ 1 (mod 4) ; étendue aux entiers : n est somme de deux carrés si et seulement si chaque premier congru à 3 (mod 4) apparaît avec exposant pair dans la factorisation première de n.