Actually, P is even a prime ideal.
Δηλαδή, το P είναι ακόμη πρώτο ιδεώδες.