trivial kernel implies injective