Redirecting to Cauchy–Davenport-lemma