Si n es primo, y sólo en este caso, todos los enteros naturales no nulos inferiores a "n" son coprimos con "n"; esto implica que serán todos inversible en Z, lo que convierte este anillo en un cuerpo a veces denotado F.