فرض کنیم g یک گروه p-حلپذیر متناهی باشد. این حقیقت را بررسی می کنیم که اگر مجموعه طول کلاس های تزویج عناصر p-منظم، {1,m,p^a,mp^a } باشد که m یک عدد طبیعی و p مقسوم علیه ای از m نباشد. در این صورت p-متمم های g پوچتوان اند و m=q^b که q عدد اول متماسز از p است.8
