Aplicando el lema de Zorn, se tiene que "P" debe tener un elemento maximal, y por lo tanto, "R" tiene un ideal maximal.