Thom–Mather isotopy theorem