该证明指出,任一函子,如果是一个左伴随,就右正合。

• The proof shows that any functor which is a left adjoint is right exact.