'''''טענה''''': עבור <math>G_{1} \subseteq G_{2} \subseteq ... </math> חבורות פשוטות, נגדיר <math>G = \bigcup_{n}G_{n} </math>.
תהי תת חבורה נורמלית <math>H \triangleleft G</math>, השונה מתת החבורה המלאה (G עצמה כלומר) ושונה מתת החבורה הטריוויאלית.
אזי קיים <math>n_{0} \in \mathbb{N}</math> כך ש - <math>H \leq subset \bigcup_{n=1}^{n_{0}}G_{n}</math>.
אם הטענה נכונה, אזי קל להוכיח בעזרתה את שאלת הבונוס. מצד אחד היא נראית הגיונית, מצד שני זה לא טריוויאלי אם בכלל נכון.