Endi bV bo`lsin. U xolda xar bir uchun qism gurux bo`lgani tufayli . Oxirgi munosabat xar bir uchun o`rinli bo`lganidan Bubilan 4-teoremaning natijasiga asosan V ning qism gurux ekanliga ko`rsatildi.
A guruxda yotuvchi S to`plamni o`z ichiga oluvchi barcha qism guruxdar tizimini orqali belgilaymiz. Bu tizim bo`sh emas, chunki A guruxning o`zi bu tizimga kiradi. Bu qism guruxlar tizimining kesishmasi ni S
