Generalized_Cauchy_Davenport.Generalized_Cauchy_Davenport_main_proof