This is a refinement of the fundamental theorem in additive number theory that describes the structure of the $h$-fold sum of a finite set of integers as $h\to\infty$.
Mel Nathanson