подскажите,пожалуйста,как сделать вызов,если мы еще неработаем),как вобще ...

гы! ассоции при чтения форума !
Теорема: Крокодил более длинный, чем широкий
Доказательство:
Разобьем теорему на две леммы:
Лемма 1.
Крокодил более длинный, чем зеленый.
Доказательство: крокодил длинный и сверху и снизу, а зеленый только сверху.
Лемма 2.
Крокодил более зеленый, чем широкий.
Доказательство: крокодил зеленый и в длину и в ширину, а широкий только в
ширину.
Из леммы 1 и леммы 2, с yчетом тpанзитивности отношения "более... чем...",
следует: Крокодил более длинный, чем широкий
Контр-теорема:
Крокодил более широкий, чем длинный.
Доказательство:
Разобьем теорему на две леммы
Лемма 1.
Крокодил более широкий, чем зеленый.
Доказательство: крокодил широкий и сверху и снизу, а зеленый только сверху.
Лемма 2.
Крокодил более зеленый, чем длинный.
Доказательство: крокодил зеленый и в длинну и в ширину, а длинный только в
длинну.
Опять же, из леммы 1 и леммы 2 следует: Крокодил более широкий, чем длинный.
Из этих двух теорем может сложиться впечатление, что крокодил квадратный, однако
это неверно,
так как все неравенства строгие
ВЫВОД:
Крокодил не существует