Без заголовка

Тогда наборот -- на ночь! Изоморфизм Карри-Ховарда напрочь выбьет на некоторое время ;)