RE: Proving an expression irrational