Доказательство теоремы: Крокодил более длинный, чем широкий.