::(לא מתרגל) תסתכל על החבורה החופשית הנוצרת ע"י קבוצה מאותה העוצמה (נסמנה בa). מכיוון שאנחנו מוגבלים לאורך סופי של מילים, נקבל איחוד בן מנייה של קבוצות מעוצמה a, ולכן העוצמה של החבורה היא a.
הנקודה היחידה שצריך להוסיף היא שעבור כל עוצמה סופית - פשוט תיקח את החבורה הציקלית מאותו סדר. [[משתמש:גילי|גילי]] 21:02, 25 באוגוסט 2012 (IDT)