Text this: Teorema de separación de sturm