もうひと手間，終了

以外にもサッと終わりました。引き続き英語化続行です。
ある補題の証明にものすごくページ数を使いました。
パソコンに打ち込んでどのくらいになるかわかりませんが，
ひとつの補題の証明のために原稿用紙9枚です。ひと山越えた感じがします。
これからもうひと山あるんだ。