Kernel is Trivial iff Monomorphism