1＝0.999…は、今の数学では証明不可能、だから定義としている。