Теорема несуществующей кошки
Лемма 1: Кошичка длиннее, чем гладибельнее.
Доказательство: Кошичка длинная и сверху, и снизу, а гладибельна только сверху (пузико не тронь!).
Лемма 2: Кошичка гладибельнее, чем шире.
Доказательство: Кошичка гладибельна и вдоль, и поперёк, а широкая только поперёк.
Теорема 1: Кошичка длиннее, чем шире.
Доказательство: см. леммы 1 и 2.
Лемма 3: Кошичка шире, чем злее.
Доказательство: Кошичка широкая от лапы до лапы, а злая только от носа до шеи.
Лемма 4: Кошичка злее, чем длиннее.
Доказательство: Применим дополнительные леммы:
Лемма 5: Кошичка злее, чем тяжелее.
Доказательство: Воспользуемся приёмом последовательного дробления и интеграции. Разделим кошичку на N частей. При этом масса каждой части уменьшается, стремясь в пределе к нулю. Злость, как известно, величина не аддитивная, т.е. при дроблении злость каждой части не уменьшается. Далее очевидно, что при интеграции злость будет строго больше тяжести.
Лемма 6: Кошичка тяжелее, чем длиннее.
Доказательство: Кошичка длинная только вдоль, а тяжёлая и вдоль, и поперёк.
Теорема 2: Кошичка шире, чем длиннее.
Доказательство: см. леммы 3, 4, 5, 6.
Таким образом, с одной стороны кошичка длиннее, чем шире, а с другой — шире, чем длиннее.
Может сложиться впечатление, что кошичка квадратна, но это не верно, так как все неравенства строгие.
Вывод: объект с взаимоисключающими характеристиками невозможен, следовательно кошички не существует.
