>>890
supA+supBより小さい任意の数はsupA+supB-εと表せる。ただしε＞0
そしてその「supA+supBより小さい任意の数」に対してA+Bの要素でそれよりも大きな数a'+b'が存在する
ことが示された。