Graflar nazariyasida to'rt rang teoremasining eng uzoq davom etgan noto'g'ri isboti Kempe tomonidan 1879 yilda ishlab chiqarilgan. U teoremaning "absurdlikka kamaytirish" deb nomlangan texnikadan foydalangan holda isbotlanganligini ta'kidlagan, bu esa xaritalarni ranglash va ma'lum shartlarga javob bermaganida ziddiyatni keltirib chiqarishni o'z ichiga olgan. Biroq, keyinchalik bu isbotning xatoligi aniqlandi va tez orada boshqa matematiklar tomonidan tuzatildi. To'rt rang teoremasini nihoyatda qat'iy isbotlash uchun ko'plab matematiklar tomonidan bir asrdan ortiq vaqt talab qilindi, birinchi to'g'ri isbot 1976 yilda chop etildi.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence