3.2.6　schemes部

　schemes 部では，引用するスキーム (証明の型) の書かれている article のファイル名を書きます．