Zu einem homogenen Primideal p{\displaystyle {}{\mathfrak {p}}} in einem N{\displaystyle {}\mathbb {N} }-graduierten Ring R{\displaystyle {}R}
ist R(p){\displaystyle {}R_{({\mathfrak {p}})}} ein lokaler Ring.