查看原题
设 $E \subset \mathbb{R}^1, m(E)>0$ ，则 $\exists x_0, x_1 \in E$ ，s．t．$x_1-x_0$ 为有理数。
                        
不再提醒