Cauchy-Davenport theorem

GPTKB entity