 Giuga's conjecture says that this equation is also a sufficient condition for formula_20 to be prime.Wilson's theorem says that an integer formula_148 is prime if and only if the factorial formula_149 is congruent to formula_150 mod formula_20.For a composite this cannot hold, since one of its factors divides both and formula_152, and so formula_153 is impossible.