[math-fun] HB's reasoning about repeated roots