Список голосов Thank You

[Димыч]

Собственно, в доказательство просто надо было добавить, что, если домик перекрашивается, число пар строго уменьшается. Бесконечно оно уменьшаться не может, поэтому рано или поздно перекрашивания прекратятся.