ミディ(E.Midy)は1836年にこのような分数に関する一般的な結果を証明して、現在はミディの定理と呼ばれている。その論文は曖昧であり、彼の証明が直接0.999⋯を含むかどうか定かではない。しかし、レーヴィット(W.G.Leavitt)による少なくとも一つの現代的な証明ではそれが含まれている。もし、0.b1b2b3⋯という形の小数が正の整数であることを証明できれば、それは0.999⋯に他ならず、それがこの定理において9たちが出現する原因となる。この方向への研究は最大公約数、剰余計算、フェルマー素数、群の元の位数、平方剰余の相互法則などの概念に動機付けを与える。

question: 1836年に発表されたミディの証明は、現在何と呼ばれていますか?, answer: ミディの定理