Si p es un primo, entonces el dominio entero Z(p)= {0, 1, 2..., p-1} es un campo