prove a function is injective