ТЕОРЕМА ДЕДУКЦИИ – см. Дедукции теорема.