Function Proofs Discrete

1 2