Generalized_Cauchy_Davenport.Generalized_Cauchy_Davenport_preliminaries