sturm theorem