Por tanto, Z/"nZ es un cuerpo si y sólo si "n" es un primo.