On the simple normality of the square root of 2 to base 2

It will be proved that the square root of 2 is simply normal to base 2, that is, the binary expansion of the square root of 2 has asymptotically equal numbers of 0's and 1's. The complete paper is available on arXiv. The listing is: http://arxiv.org/pdf/math.NT/0512404

Richard Isaac