Talk:Thom's first isotopy lemma