设 A 为Artin 代数, C , X , Y 是有限生成右A-模,x,γ 为有限生成右A -模范畴的子范畴. 证明了C有右极小x-逼近0→Y →X →C → ......