20031213 unknown: What is the 'Four Colour Problem' in mathematics which was solved using a computer in 1978?