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.