ТЕОРЕМА ДЕДУКЦИИ

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