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

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