text: Это противоречит (2), потому что, если (m/q)Р определен и не равно 0 (mod N), то тот же метод рассчитывается по модулю р, а не по модулю N даст ( m / q ) P p ≠ 0 {\displaystyle (m/q)P_{p}\neq 0} Из этого утверждения может быть построен алгоритм для доказательства того, что целое число N является простым.