می دانیم که همه زیرگروه های پوچ توان حل پذیر هستند. فرض کنید تعداد زیرگروه های ماکسیمال غیر نرمال گروه متناهی g پوچ توان باشند, نشان می دهیم که g حل پذیر است و به ازای برخی عدد اولp, p-پوچ توان است. و اگر g ناپوچ توان باشد تعداد مقسوم علیه های اول مرتبه g بین 2وk+2 خواهد بود. که k تعداد زیرگروه های ماکسیمال نرمال هستند که پوچ توان نمی باشند.