Deduction Theorem

  1. REDIRECT Deduction theorem {{R from other capitalisation}}