La pubblicazione era oscura e non è chiaro se la sua dimostrazione coinvolgesse direttamente 0,999…, ma almeno una dimostrazione moderna di W. G. Leavitt lo fa. ###>E. Midy proved a general result about such fractions, now called "Midy's theorem", in 1836.