prove a homomorphism is injective