deductive treatment

Мат. дедуктивный вывод