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