Iterated Cauchy–Davenport