Gewöhnliche Differentialgleichung/Getrennte Variablen/Lösungsexistenz/Fakt/Beweis/Substitution/Aufgabe