A delightful induction. Seems familiar from *Intro to Algorithms*?