有理数の距離でペアから３点目をとれば垂直に稠密な有理直線がとれるから
デスクを稠密にカバーできる。同じ操作を何次元でもできるからQEDね。