deduction theorem

Теорема о дедукции