prove that a function is one to one