Onto Function Proofs Definition