271
правка
Изменения
→Теоремы
<tex> L \in </tex> схемная сложность полином. Тогда <tex> \exists C_0, C_1, .., C_n, .. </tex>. Запишем программу
<tex> p(x, C_{|x|}) </tex>:
'''return''' <tex>eval(x, C_{|x|}(x) </tex>
Теорема выполняется.
