0.999.../Proof by multiplication by 10

Assumptions edit

Proof edit