Sturm comparison theorem