\begin{cor} For any adjoint functors between abelian categories, the left adjoint is right exact and the right adjoint is left exact. Moreover, both functors are additive. \end{cor}