¹²Solche algebraischen Komplementärräume existieren immer (allgemeiner Basisergänzungssatz!); $E_1$ ist im allgemeinen nicht endlichdimensional, die anderen sind es nach Voraussetzung.