Esta propiedad es un caso particular del Pequeño Teorema de Fermat y por tanto siempre se verifica para números primos.