On: The Four Colour Theorem: The first time machines mogged mathematicians

[prvc]

There is now an opportunity for them to do it again by providing an easily understandable proof which isn't broken up into a large number of cases.