Onto Function Proofs Meaning