G
eneralized_
C
auchy_
D
avenport
Generalized_Cauchy_Davenport_preliminaries
Generalized_Cauchy_Davenport_main_proof