Розглянемо число пар гномів-друзів, у яких
будинки різного кольору. Кожний місяць їх кількість збільшується. Дійсно, якщо
наступний гном фарбує будинок в той самий колір, який був раніше, то це число
зберігається. Якщо ж він фарбує будинок в інший колір, то воно зменшується.
Оскільки це ціле число – невід’ємне то при зменшуванні наступить момент після
якого воно не буде змінюватись. З даного моменту кожний гном завжди буде
фарбувати будинок в один і той же колір.