::::*עבור איזה n '''בדיוק''' מתקיים לדעתך <math>G=G_n</math>. עבור 10? 100? 1000? הרי כל G_n עשוייה להוסיף איברים חדשים, אין פה שום חבורה אחרונה. --[[משתמש:ארז שיינר|ארז שיינר]] 12:13, 28 בנובמבר 2010 (IST)
:::::*אז הכוונה היא להוכיח שזה נכון לכל n (וזה עדיין משהו שנתון)? או שעבור <math>n=\infty</math>? שגם זה משהו שלא כ"כ ברור לי.--[[מיוחד:תרומות/84.110.206.83|84.110.206.83]] 13:31, 28 בנובמבר 2010 (IST)
::::::*יש להוכיח לאיחוד של כל החבורות הנ"ל, זוהי חבורה מסוימת. החבורה הזו מכילה את כל האיברים שנמצאים בלפחות אחת מן הקבוצות G_n. בפרט, אם איבר כלשהו שייך לG סימן שהוא שייך לאחת החבורות G_n. הבט ברמז ליד התרגיל. --[[משתמש:ארז שיינר|ארז שיינר]] 14:55, 28 בנובמבר 2010 (IST)