puts theorems in the seperate file