נניח נתון לי שהחבורה G נוצרת ע"י האיברים <math>a_1, a_2, ... , a_n</math> ונניח גם ש - rank(G) = k עבור k<n כלשהו, כלומר <math>a_1, a_2, ... , a_n</math> יוצרים את החבורה אולם זו אינה קבוצה יוצרת מינימלית בגודלה. האם אני יכול להסיק מכך שיש איבר <math>a_i</math> בקבוצה הפורשת שלי שהוא מכפלה כלשהי של האיברים האחרים (כמו באלגברה ליניארית)?
<math>a_i</math>