deductive construction

Мат. построение по дедукции