RE: Properties of GCD and LCM: Lemma proof