Michael Peterson explains a procedure for four colouring a graph using Groebner bases