Note: the parent has 1 fewer value. It might underflow! The repair strategy may have to be applied repeatedly at successive levels.
If the root underflows: it must have originally contained just 1 value, now removed.