费马小定理：如果"p"是素数，formula_1，那么如果我们想知道"n"是否是素数，我们在中间选取"a"，看看上面等式是否成立。如果对于数值"a"等式不成立，那么"n"是合数。如果有很多的"a"能够使等式成立，那么我们可以说"n"可能是素数，或者伪素数。在我们检验过程中，有可能我们选取的"a"都能让等式成立，然而n却是合数。这时等式被称为"Fermat liar"。如果我们选取满足下面等式的"a" 那么"a"也就是对于"n"的合数判定的"Fermat witness"。Section: