sturmian separation theorem