0.999...=1/Proof 2

Theorem

 * $0.999 \ldots = 1$