Epicycloid whose Ratio of Generating Circle Radii is Rational is Closed Curve

Theorem
Consider the epicycloid $E$ generated by a epicycle $C_1$ of radius $b$ rolling within a deferent $C_2$ of radius $a$.

Let $k = \dfrac a b$ be a rational number.

Then $E$ is a closed curve.