Prove A Function Is Surjective