How to Prove a Function is Surjective | Logic and Proofs