دانشنامهی المپیاد کامپیوتر ایران
نشان دهید که اگر G −(k+1)بحرانی باشد و S⊆V(G) مجموعهی جداکننده باشد، آنگاه تعداد مولفههای G−S از تعداد حالات تقسیم کردن |S| شیئی به حداکثر k دسته بیشتر نیست.