論文(article)
 environ   ::環境部 :この部分に、証明すべき論文で使用する、定義、定理などのファイル名を記述する。
  ...環境部
  ;
 
 begin     ::本体部 :この部分に、証明する論文を記述する。
  ...本体部
  ;
※ コメントは::と入力した、後に入力する。
※ [Tab]を使うとCode errorが出ますので、使えません。必ずスペースを使いましょう。