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