KommutativeAlgebra/gfx/construction.pdf