正の実数の集合Sから2つの異なる元x, yを取り出し，|x - y|を新しくSに加える演算S' = S(x, y)を考える．
Sのどの2元を取ってもS' = Sとなるとき，Sは飽和したと呼ぶことにする．
2点集合S = {x1, x2}から始める．
x1 / x2が無理数のとき，この演算'をSに何回くり返しても，途中の2つの元の取り方によらず，Sは決して飽和しないといえるか？