諾特環
設 formula_1 為交換諾特環，formula_2 為有限生成之 formula_1-模。對任一子模 formula_4，存在有限多個準素子模 formula_5 使得