IMO 2006 — Complete Shortlist Question 25

For $x \in (0,1)$ let $y \in (0,1)$ be the number whose $n$th digit after the decimal point is the $\left(2^{n}\right)$th digit after the decimal point of $x$. Show that if $x$ is rational then so is $y$.