Cauchy-Davenport theorem