show that a function is injective