Code Editor : theorem.sty