through def of derived functor