Onto Function Proofs