0.999.../Proof by multiplication by 10

Assumptions

Proof