Notes for AKT-090910-1/0:36:07

Invariance of tricolourability under R3 can be proved similarly (as for R2). There are no losses of colours locally (in some sense simpler). However, there are many more colour combinations, well just 5 up to permutation of colours, to check (perhaps this is the reason why Dror thinks the proof is boring).