Talk:Spijker's lemma