Projektion/Unterraum/Idempotent/Endlichdimensional mit Dimensionsformel/Aufgabe

Vereinfache den Beweis zu Fakt mit Hilfe der Dimensionsformel.