irrational proof