実数の非可算証明は小数表示が一意でない事への対処が必要