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

[buka]

Хорошо, Мики, я постараюсь быть понятным.
1. Представьте себе огромную шахматную доску с множеством клеток.
2. Клетки находятся правее и выше клетки А1 - начала зверюшкиного и чебурашкиного мироздания.
3. Горизонтальные линии клеток будем называть рядами, вертикальные - колонками.
4. В этих клетках живут чебурашки и зверюшки в соответствии со своей крикливостью и пушистостью.
5. Каждая клетка идентифицирует один определённый уровень крикливости и пушистости.
6. Чем больше крикливость - тем правее клетка, чем больше пушистость - тем клетка выше.
7. Каждый ряд клеток определяет один уровень пушистости, а каждая колонка - один уровень крикливости
8. Не обязательно все клетки - обитаемы и в одной клетке не обязательно живёт только одна зверушка/чебурашка, но все зверушки/чебурашки, обитающие в одной колонке имеют одинаковую крикливость, а в одном ряду - одинаковую пушистость.
9. Нет ни одного ряда и ни одной колонки, где обитали бы только зверушки и не было бы чебурашек.
10. Поскольку из зверушек одинаковой крикливости, чебурашки самые пушистые, то в одной колонке ни одна зверушка не может обитать выше хоть одного чебурашки из этой колонки.
11. Поскольку чем чебурашки крикливее, тем они пушистее, то в одном ряду чебурашки могут обитать только в одной клетке, иначе оказалось бы, что были бы чебурашки более крикливые, но не более пушистые.
12. Теперь надо доказать, что в одном ряду не может быть зверушки, обитающей левее хоть одного чебурашки (т.е. менее крикливой, чем чебурашка).
12.1 Допустим обратное и в некотором ряду обитает зверушка (З1), в клетке левее чем чебурашка (Ч1).
12.2 Тогда из. п.9 следует, что в колонке, соответствующей этой клетке должен обитать хоть один чебурашка (Ч2).
12.3 Из п.10 следует, что этот чебурашка не может быть в этой колонке ниже зверушки. Но если он в той же клетке, то имеем нарушение п.11, если же он более высокой клетке, то имея более низкую крикливость, чем Ч1, он имеет более высокую пушистость, что также является нарушением условия.
Итак, наше допущение привело к противоречию. Этим  доказывается утверждение 12.