Formal statement on adjointness derived functors

This actually clarifies and simplifies things