Es sei
ein
Körper
und es seien
und
Vektorräume
über
. Es seien
-

und
-

direkte Summenzerlegungen
und es seien
-
die
kanonischen Projektionen.
Dann ist die Abbildung
-
ein
Isomorphismus.
Wenn man die
als Untervektorräume von
auffasst, so liegt eine direkte Summenzerlegung
-

vor.