Projektion/Unterraum/Idempotent/Endlichdimensional mit Dimensionsformel /Aufgabe

Vereinfache den Beweis zu Fakt mit Hilfe

der Dimensionsformel.