Each time they assume the sum is rational; however, upon rearranging the terms of their equation, they get a contradiction (that an irrational number is equal to a rational number). Since the assumption that the sum of a rational and irrational number is rational leads to a contradiction, the sum must be irrational.
