Outsourced proofed theorems

* extra file for proofed theorems
* added file handler functions to read and write file with proofed theorems