Es ist
Es ist 3 ∉ p {\displaystyle {}3\notin {\mathfrak {p}}} , da sonst das Einheitsideal vorliegen würde. Also ist 3 {\displaystyle {}3} in der Lokalisierung R p {\displaystyle {}R_{\mathfrak {p}}} eine Einheit und es ist