Graph Colouring, Polynomial Calculus

---