functions proof (is it right?)

Printable View