NC.M2.N-RN.3b: The sum of a rational number and an irrational number is irrational.