hurwitzs irrational number theorem