Cauchy–Davenport theorem