Prove that precomposition with an essentially surjective functor is essentially surjective.