Cauchy–Davenport theorem

GPTKB entity