Es seien U 1 ⊆ V 1 , U 2 ⊆ V 2 , … , U n ⊆ V n {\displaystyle {}U_{1}\subseteq V_{1},U_{2}\subseteq V_{2},\ldots ,U_{n}\subseteq V_{n}} Untervektorräume mit den Restklassenräumen V 1 / U 1 , … , V n / U n {\displaystyle {}V_{1}/U_{1},\ldots ,V_{n}/U_{n}} . Gibt es eine kanonische Isomorphie