Zorn's lemma
The hypothesis of Zorn's lemma has been checked, and thus there is a maximal element in "P", in other words a maximal ideal in "R".