1つの正方形から2頂点を取る三角形を調べる
RiRjBkR_iR_jB_kRiRjBk を考える。i≡j(mod2)i\equiv j\pmod2i≡j(mod2) なら辺 RiRjR_iR_jRiRj は無色の対角線、そうでなければ RiBkR_iB_kRiBk と RjBkR_jB_kRjBk は反対色である。BiBjRkB_iB_jR_kBiBjRk も同様で、単色三角形はない。