Paraconsistent deduction theorem