23.5. Lemma
Különböző maradékosztályok szorzása redukált maradékosztállyal
Ha bármely két egymástól különböző [a]_n és [b]_n maradékosztályt megszorzunk egy tetszőleges [c]_n redukált maradékosztállyal, akkor az így kapott maradékosztályok is különböznek egymástól.
Azaz ha [a]_n \neq [b]_n, akkor [c]_n \odot [a]_n \neq [c]_n \odot [b]_n, ahol \odot jelöli a 20.5. Tétel szerinti szorzást.
♣