ако p е просто число, по-голямо от 3 , намерете остатъка, когато p  2 + 12 е разделено на 12 .
"всяко просто число по-голямо от 3 може да бъде написано 6 n + 1 или 6 n - 1 . ако p  6 n + 1 , тогава p  2 + 13  36 n  2 + 12 n + 12  36 n + 12 n  2 + 12 n + 1 , ако p  6 n - 1 , тогава p  2 + 12  36 n  2 - 12 n ."
subtract(add(12, power(add(const_1, const_4), 2)), multiply(12, 3))