lambda1@tg says to YSITD such a proof is not too hard... by first asserting for all real number x, a decimal representation exists... this can be done by density of rational numbers in R