Is there a way to prove that $a$ is an element of the Integers, if $p$ is prime, $a$ is in $\mathbb Z_p$ and its $p$-adic expansion is eventually periodic?
I know how to do this for the rationals, but it's not clear to me how to prove this for the integers...