KommutativeAlgebra/gfx/Strategyforproof.pdf