Kurs:Diskrete Mathematik (Osnabrück 2020)/Linear unabhängig/Einfache Eigenschaften/Fakt/Faktreferenznummer

Lemma 23.8 (Mathematik für Anwender (Osnabrück 2023-2024))