Un teorema de Fermat afirma que si "p" es primo de la forma 4"n"+1, entonces se da un caso de exclusión simple, que puede expresarse de forma única como suma de dos cuadrados.