Voici un brouillon pour la preuve du résultat 
est non dénombrable, utilisant le procédé de la diagonale de Cantor: Le problème se ramène à prouver que l’intervalle 
est non dénombrable en utilisant le développement propre dans le système décimal d’un nombre réel.
