Prove Hom functor is left exact