286
правок
Изменения
→Общие идеи доказательства
}}
Выше мы получили неизбежную конфигурацию, состоящую из небольшого количество элементов. Подобными действиями Аппель и Хакен провели <tex>487</tex> операций разгрузки и получили неизбежную конфигурацию из <tex>1482</tex> конфигураций. Некоторые из них являются сводимыми, доказательством раскрашиваемости которых остальных и занимался компьютер.
== См. также ==
