ラムダ項に関する説明を追加 : 完了