The Four Colour Theorem: The first time machines mogged mathematicians 15 points by list 3 hours ago 15 comments story