−−−−−−−−−−−−−−−下面是原文第9页−−−−−−−−−−−−−−−
\quad\quad 如果我们再稍微仔细些研究α>β的情况,显然,小的这个数β如果是有理数,那么当然属
于 A 1 A_{1} A1,因为既然在 A 1 A_{1} A1中存在一个数 a 1 ′ a_{1}' a1′= b 2 ′ b_{2}' b2′属于 B 2 B_{2} B2,于是有,不管β是 B 1 B_{1} B1的最大值还是
B 2 B_{2} B2的最小值,都有β≤ a 1 ′ a_{1}' a1′,因此β属于 A 1 A_{1} A1。类似的,很显然,由α>β,可知较大的数α如果是有理数,
当然属于 B 2 B_{2} B2,因为α≥ a 1 ′ a_{1}'