Product of Rationally Expressible Numbers is Rational/Lemma

Proof
This lemma does little more than restate (in a considerably more wordy form).