Thorn’s first isotopy lemma: a semialgebraic version, with uniform bound