この彩色では q,r が同色であることは n(p,q)+n(p,r) が偶数であることと同値である。したがって、相異なる p,q,r について n(p,q)+n(p,r)+n(q,r) が奇数であることを示せばよい。