. "Please reply with your efforts so far, including the definitions and the theorems which you are applying to each proof." . . . .