Este test está basado en el criterio de Euler, que establece que, si "n" es un número primo impar, entonces formula_63 para todos los enteros que satisfacen que el mcd("a","n")=1, donde formula_64 representa el símbolo de Jacobi definido por