A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Egy szabályos hétszög csúcsait pirossal, kékkel, zölddel vagy sárgával akarjuk kiszínezni úgy, hogy ha egy csúcs piros vagy kék, akkor a | pozitív körüljárás szerint | utána következő első és negyedik csúcs színe nem lehet sem kék, sem zöld; ha pedig egy csúcs sárga vagy zöld, akkor az őt követő első és negyedik nem lehet sem piros, sem sárga. Mutassuk meg, hogy ekkor minden csúcs ugyanolyan színű.
|