example of injective but not surjective