The Deduction Theorem