Есть старая головоломка: три домика, три колодца, и от каждого домика надо протоптать тропинку к каждому колодцу так, чтобы тропинки нигде не пересекались. Восемь тропинок ложатся легко, девятая не ложится никак. Почему так, доказывается в несколько строк. Дальше интереснее: как программа проверяет…