deduction principle

Мат. принцип дедукции