Reciprocal of 5

Theorem

The decimal expansion of the reciprocal of $5$ is as follows:

$\dfrac 1 5 = 0 \cdotp 2$