>>810
直観的にはこんな感じ。Qをある無理数（たとえば√2）の距離だけ一斉に
並行移動した集合をQ'とする。QとQ'は重ならない。OK？
QとQ'を合わせても可算個しかないから、どちらにも属さない無理数が残っている。OK?
残った無理数を1つ選び, Qをその分だけ並行移動したQ''を考える。QとQ'とQ''は全く重ならない。OK?
これを繰り返してQ,Q',Q'',Q''',…をどんどん作ってRを分割する。
（といっても、Rは非可算個だから、上のように「並べて」いって取り尽すのは無理
だから、同値関係として定義する。論理的には非可算無限個のQモドキたちに分解できる）
それぞれのQモドキから、(0,1/2)に属する代表を1つずつ選択公理で選んでVを作る。
Vをある有理数qだけ並行移動したV[q]と、別の有理数rだけ並行移動したV[r]には、
（代表元たちがいっせいに別の代表元に代わる感じで）
同じQモドキグループに属している相棒に重なるはず。
（別のQモドキグループの要素に重なることはない。
Qモドキグループを有理数だけ並行移動しても自分自身に重なるから。）