I see. But is that not just a simple conclusion of the fact that the rationals are countable, and that there exists a converging series of positive numbers?