Learning to Prove Theorems by Learning to Generate Theorems