Zeige, dass in M ⊆ Z [ V ] {\displaystyle {}M\subseteq \mathbb {Z} [V]} aus Beispiel jedes Element ≠ 0 {\displaystyle {}\neq 0} einen eindeutig bestimmten Vorgänger besitzt.
![{\displaystyle {}M\subseteq \mathbb {Z} [V]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b138f88da77b73593a19024e3c3f7f05f139a176)
aus
Beispiel
jedes Element 
einen eindeutig bestimmten Vorgänger besitzt.
