This theorem can be used as a probabilistic test of primality, by checking for many random choices of formula_8 whether formula_11 If this fails to hold for several random formula_8, then it is very likely that the number formula_7 is composite.