For each nonzero integer tuple , put
If its first coordinates are all zero, then and is empty. Otherwise it is a closed proper affine hyperplane. It has empty interior: from any of its points, an arbitrarily small displacement in the nonzero normal direction leaves it. Thus every is nowhere dense.
There are countably many integer tuples, and is complete. The Baire category theorem therefore makes the complement of their union dense and nonempty. Choosing any point there gives
Equivalently, are linearly independent over : multiplying a rational relation by a common denominator produces just such an integer relation. This is an instance of Baire avoidance of countably many affine hyperplanes.