命題Ｅ）は、の時に （補題４） (5)(6)(7)(5')(6')(9)が成り立っているとする。さらに、の時に補題１が成り立っているとする。さらに であるようなを定めた時、 である全てのについて 、 が成り立つ。 が成り立つ、というものでした。 Ｅ）を証明することは…