The four-colour theorem states that any map can be coloured using just four colours so that no two neighbouring regions share the same colour. It was proved in 1976 with the help of a computer.