Todo numero primo mayor que tres es igual a un multiplo de seis aumentado o disminuido en una unidad. Ademas, todo numero primo distinto de dos termina en uno, tres, siete o nueve. Ademas, si un numero cualquiera se divide por un numero primo menor que el y arroja un resultado exacto, no es primo. Por el contrario, si el resultado no es exacto y al mismo tiempo el cuociente es menor que el divisor, el numero es primo. Todo eso se debe combinar con los caracteres basicos de divisibilidad por tres, siete, nueve y once y tendras una prueba de primalidad cuya probabilidad de error es proporcional al orden de magnitud del numero.
Como puedes ver, lo puse todo en español para que tu hagas la traduccion a algebra y asi lo puedas comprender cabalmente.