spijkers lemma