Lemma. [005I]

Let be coprime. And let be systems of representatives of and respectively. Then is a complete system of representatives.