deductive result

Мат. дедуктивный результат