Структура теоремы. Импликативная и категорическая формы теоремы ...