https://9lib.org/document/z1dr6ne8-commutative-algebra-problem-set-dimension-theory.html