Proof involving functions.

Printable View