Reciprocal of 5
Theorem
The decimal expansion of the reciprocal of $5$ is as follows:
$\dfrac 1 5 = 0 \cdotp 2$