Kurs:Analysis/Gewöhnliche Differentialgleichung/Getrennte Variablen/Lösungsexistenz/Fakt/Faktreferenznummer