Four colours are used to colour a map or pattern so that no colour is next to the same colour.

The computer-assisted proof is a mathematical proof that was created by computer mathematics, though only partially. The main idea is to use a computer to prove that a theorem is correct. The first theorem to be proved by computer was the four color theorem.

it is related to math because the amount of map spaces is the amount you color using the therom you want to use.

Joseph Miller Thomas has written:

'Elementary mathematics in artillery fire' -- subject(s): Mathematics, Gunnery

'The four color theorem' -- subject(s): Four-color problem

The theorem states "If two angles are both supplementary and congruent, then they are right angles."