How To Prove That A Function Is Surjective