補題 3 の証明(後半) さて、前半の最後に書いた式 が示されれば となって補題 3 が示されたことになります。そこで となる があったとして矛盾を導きます。 はある に含まれているはずです。この がある に含まれていることが示されれば矛盾が得られるので、…