The localization at a prime ideal is a local ring

Loading comments...