Prove Function Is Onto