>>791は間違いですねw

何故なら、区間 [0, 1] における無理数全体を E とする。
>>791より R = E - E となる。
従って、任意の実数 r は r = α - β, α ∈ E, β ∈ E と書ける。
よって、 |r| ≦ |α| + |β| ≦ 2
これは矛盾。