distance to stars

• unknown
  • stars upper bounds distance to stars by a constant – by definition
  • distance to stars $k$ upper bounds treedepth by $\mathcal O(k)$ – First, treedepth removes vertices of the modulator, remainder has treedepth $2$