Prove Function Is One To One