proving f is one to one