Kurs:Körper- und Galoistheorie (Osnabrück 2018-2019)/Lineare Algebra/Satz über die simultane Diagonalisierbarkeit/Fakt/Faktreferenznummer