איך מוכיחים שיש חבורה מכל עוצמה? (ללא הנחת השערת הרצף המוכללת, שאיתה כנראה אפשר לקחת פונקציות של פונקציות של...R)
::(לא מתרגל) תסתכל על החבורה החופשית הנוצרת ע"י קבוצה מאותה העוצמה (נסמנה בa). מכיוון שאנחנו מוגבלים לאורך סופי של מילים, נקבל איחוד בן מנייה של קבוצות מעוצמה a, ולכן העוצמה של החבורה היא a.