How To Prove Something Is One To One