defined cotorsion theory