Wir betrachten den Untermodul
Dabei gilt
Aus Fakt ergibt sich U + V = V {\displaystyle {}U+V=V} , also U ⊆ V {\displaystyle {}U\subseteq V} .