Beweis

Es sei eine Basis von . Aufgrund des Austauschsatzes findet man Vektoren aus der Basis , die zusammen mit den vorgegebenen eine Basis von bilden.