Therefore if f is injective it is also surjective.