Un ideal generado por un elemento primo es un ideal primo.