Así pues, matemáticos chinos formularon la hipótesis (a veces conocida como "hipótesis china") de que "p" es primo si y sólo si 2 ≡ 2 (mod "p") (donde el símbolo ≡ significa congruencia según el "módulo" indicado).