Talk:Sturm separation theorem/Comments