proof with functions

Printable View