假定RQ是可列个闭集F_k的并, 那么每个F_k都不包含内点(若某个F_k有内点则会包含有理数)
再注意到Q也是可列个单点集{r_k}的并, 这样R就可以表示成可列个不含内点的闭集的并
由Baire纲定理可得R也没有内点, 矛盾