فرض کنید g گروهp-حل پذیر متناهی و p یک سیلوp- زیرگروه آن باشد. ثابت خواهیم کرد که اگر تمام اعضای p که مرتبه p هستند، مشمول در k-امین جمله از سری مرکزی بالایی p باشند، آن گاه p-طول g حداکثر m2+1 است، که در آن m بزرگترین عدد صحیحی است که .p^m-p^(m-1)?k