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.

♣

• ↓Alárendelt lap:Bizonyítás