Finally, every nonzero prime ideal of OF is maximal or, equivalently, the Krull dimension of this ring is one.
Τέλος, κάθε μη-μηδενικό πρώτο ιδεώδες του OF είναι μέγιστο ή, ισοδύναμα, η Krull διάσταση του δακτυλίου αυτού είναι ένα.