I recommend Dirichlet's Theorem on arithmetic progressions instead (everybody loves Euler's totient function!) :
https://en.wikipedia.org/wiki/Dirichlet's_theorem_on_arithme...