Prove Function Is Surjective