Don't understand use of auxiliary function in proving theorems

Printable View