Role of Rule in Prooving a Function? Help!

Printable View