Function Proofs Discrete Math