设R是含幺Noether交换环，X Spec R是饱和素理想集合，I R是理想，M是强可表示线性紧R模．本文证明Cograde(I，M)=inf{i|Cos(Tor(R/I，M)) X)等......