Hurwitz's irrational number theorem