The publication was obscure, and it is unclear if his proof directly involved 0.999..., but at least one modern proof by W. G. Leavitt does.
Die Veröffentlichung war obskur und es ist unklar, ob der Beweis direkt 0,999… nutzte, doch zumindest ein moderner Beweis von W. G. Leavitt tut dies.