deductive proof

Мат. дедуктивное доказательство