设Λ是一个交换Artin环k上的Artin代数,F是函子Ext1Λ（-,-）的加法双子函子且有足够的投射对象.证明了F-正合复形G=…→Gn＋1fn→＋1Gnf→......