그래도 나름 재미있는데 지우네

수학 이야기: a localization of regular local ring at a prime ideal is again a RLR.