変換において、モーダスポネンスの公理1への適用結果を演繹の初め（H→Hステップの直後）に配置すると便利かもしれない。
在转换期间，在演绎开始处(紧接着H→H步骤之后)放置所有的对公理1的肯定前件应用可能是有用的。