In the last exercise ignoer (b)...?
(a) might seems a tautology, but this uses Yekuteli definitions of left-exact: a functor is left exact if it commutes with kernels. So you have to show that this is equivalent in sending right truncated ses in right truncated ses