Claim: If a morphism is a strong monomorphism, then it is a monomorphism.
Proof: This holds by definition.