It said the US government should "seek resolution with the Iraqi government concerning the use of resources of the DFI (the Development Fund for Iraq) which might beincontradictionwith UN Security Council Resolution 1483".
The next step is to find the mathematically simplest versions of such maps. (What is meant by simplicity in this case is actually quite involved.) Dr Gonthier then showed that all these maps can, in fact, be re-coloured with only four colours, establishing the theorem by contradiction.