NC.M2.N-RN.3a: The sum or product of two rational numbers is rational.