deductive justification

Мат. дедуктивное обоснование