0.999.../Proof by multiplication by 10

Assumptions

edit

Proof

edit