>>69
さらに任意の可換環に対する局所化の定式化は
これからかなり遅れて成された、ということも驚き。