Изменения

<tex>p(i)</tex>:

Доказательство Приведем доказательство от противного. <br/>Пусть язык <tex> U </tex> разрешим. <br/>Тогда существует такая программа <tex> u </tex>, что <tex> \forall \langle p, x \rangle \in U: u(\langle p, x \rangle) = 1</tex>, а <tex> \forall \langle p, x \rangle \notin U: u(\langle p, x \rangle) = 0</tex>. <br/>

<tex>r(x)</tex>: