deduction theorems