= CofactorExpansion