Lemma 54.8
Kurs:Mathematik (Osnabrück 2009-2011)/Teil II/Vorlesung 54
Differentialgleichungen höherer Ordnung/Zugehöriges System erster Ordnung/Fakt