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