V Hartmanově článku, na který je v přednášce odkaz (https://www.jstor.org/stable/pdf/2034720.pdf) najdete původní důkaz. Základní postup důkazu (s odkazy na článek) najdete v knize Lawrence Perko: Differential equations and dynamical systems. Vol. 7. Springer Science & Business Media, 2013 a asi nejčitelnější důkaz je v knize od Carmen Chicone: Ordinary Differential Equations with Applications, Texts in Applied Mathematics 34, Springer, New York, 1999.