ثابت کنید هر گراف دو بخشی است اگر و تنها اگر تمام زیر گراف های آن مجموعه مستقلی به اندازه حداقل نصف رئوس داشته باشد.