Kneser_Cauchy_Davenport.Kneser_Cauchy_Davenport_preliminaries