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

Deduction theorem