injective implies surjective