K^n/Erzeugendensystem/Standardvektoren/Gleichungssystem/Fakt/Name