El conjunto de enteros en Z/"p"Z forma un cuerpo finito si y sólo si "p" es primo.