上面を緑、下面を赤と仮定する。A1 からの側線のうち少なくとも3本は緑でなければならない。3本が赤なら対応する2頂点が隣接し、A1 と赤い三角形を作る。同様に A2 からも3本が緑である。5個中3個の集合は交わるので共通の Bi があり、A1A2Bi が緑の三角形となり矛盾。