Sums of lengtht in Abelian groups

LetG be an Abelian group written additively,B a finite subset ofG, and lett be a positive integer. Fort≦|B|, letB _t denote the set of sums oft distinct elements overB. Furthermore, letK be a subgroup ofG and let σ denote the canonical homomorphism σ:G→G/K. WriteB _t (modB _t) forB _tσ and writeB _t (modK) forBσ. The following addition theorem in groups is proved. LetG be an Abelian group with no 2-torsion and letB a be finite subset ofG. Ift is a positive integer such thatt<|B| then |B _t (modK)|≧|B (modK)| for any finite subgroupK ofG.