Notes for AKT-090910-1/0:26:16

Invariance of tricolourability under R1. There are 2 directions to check, i.e. (left) 3-colourable $\Rightarrow$ (right) 3-colourable, and (left) colourable $\Leftarrow$ (right) colourable. Side benefit: explanation of 'local' diagram notation.