deductive evaluation

Мат. дедуктивная оценка