Este principio es la base del test de primalidad de Fermat.