689
правок
Изменения
м
Построим Если <tex> \alpha </tex> {{---}} рациональное, то существует тривиальный разрешатель для <tex> A </tex>, который просто сравнивает полученный элемент с <tex> \alpha </tex>. В противном случае, построим разрешатель для <tex> A </tex>:
→Свойства: добавил случай рационального \alpha в первой теореме
<tex> \Longrightarrow </tex>:
<tex>p(x)</tex>: