Neka je CC prirodni broj manji od 2017. Točno CC vrhova pravilnog 2017-erokuta je crveno, a svi ostali vrhovi su plavi. Dokaži da broj jednakokračnih trokuta čija su sva tri vrha iste boje ne ovisi o rasporedu crvenih i plavih vrhova.