0.999...=1/Proof 5

Theorem

 * $0.999 \ldots = 1$