NC.M2.N-RN.3c: The product of a nonzero rational number and an irrational number is irrational.