Prove that the product of a nonzero rational number together with an irrational number is an irrational number.

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.