Endomorphismus/Eigenvektoren/Linear unabhängig/Fakt/Name

Der Satz über Eigenvektoren zu paarweise verschiedenen Eigenwerten.