Cтраница 4
Остается воспользоваться индуктивным предположением. [46]
Так как по индуктивному предположению функции / и / являются наследственно строго нежесткими, то функция / также будет наследственно строго нежесткой. [47]
Таким образом, используя индуктивное предположение, получаем, что терм, полученный на этом шаге, представляет функцию /, и является бесповторным по построению. [48]
Допустим теперь, что индуктивное предположение выполняется. [49]
Отсюда немедленно следует справедливость индуктивного предположения. [50]