Die erste Aussage folgt aus der zweiten, wenn man für die einzelnen Vektorräume W j {\displaystyle {}W_{j}} Basen einführt (umgekehrt ist auch der zweite Teil ein Spezialfall des ersten). Die zweite Aussage folgt aus Aufgabe oder aus Fakt in Verbindung mit Fakt.
Basen einführt
(umgekehrt ist auch der zweite Teil ein Spezialfall des ersten).
Die zweite Aussage folgt aus
Aufgabe
oder aus
Fakt
in Verbindung mit
Fakt.