Created theorems document