Zahlbereich/Ideal/Restklassenring/Endlich/Fakt/Beweis

Beweis

Nach Fakt gibt es ein , . Damit ist und damit hat man eine surjektive Abbildung

Der Ring links ist nach Fakt endlich (mit Elementen), also besitzt der Ring rechts auch nur endlich viele Elemente.