https://datadosen.com/eu/Sturm_separation_theorem