Нам в 2002 году говорил преподаватель, что 4 красок доказали да и Ферма тоже.... В понедельник спрошу у него - но про 4 красок я точно помню.