Thom's_first_isotopy_lemma loading ...