k是M-自然类,证明在k中,任意M-内射模的直和的基本扩张是M-内射模的直和,并且通过可数多个k-cocritical模,刻划了∞(+)i=1EM(Si)的......