Es sei
-
und
-
Es ist
-
Somit ist auch
-
und auch
-
Daher ist schließlich
-
und
-
was die Inklusion
-
beweist. Zum Nachweis der Inklusion
zeigen wir, dass modulo auch zu gemacht wird. Der Restklassenring ist , wobei auf abgebildet wird. Unter dieser Abbildung ist
-
und
-