Reciprocal of 7

Theorem
The decimal expansion of the reciprocal of $7$ is as follows:
 * $\dfrac 1 7 = 0 \cdotp \dot 14285 \, \dot 7$

Proof
Performing the calculation using long division:

0.142857... 7)1.000000000    7     --     30     28     --      20      14      --       60       56       --        40        35        --         50         49         --          10           7          --          ..

[[Category:7]]