Curtis Wesley explains another algebraic criterion for a graph to be four colourable due to Shalom Eliahou