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
-
