П.С.Александров, Б.А.Пасынков. Введение в теорию размерности. "Наука", Москва, 1973.
Глава 2, § 4, пункт 4.

- множество точек пространства

, имеющих не более

рациональных координат,

- множество точек пространства

, имеющих ровно

рациональных координат.
Но там доказательство того, что

, занимает полторы страницы.