Este teorema se tomó como fundamento de varios tests de primalidad.