 Roth theorem

If $\alpha$ is a real algebraic irrational number and $\epsilon >0$, thenhas only finitely many reduced rational solutions $p/q$.