Изменения

Тогда <tex>A_{\Gamma}</tex> {{---}} перечислимо.

|proof =

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

for <tex>k = 1\ldots +\infty</tex>

if <tex>(p \in A_{\gamma})|_{TL(k)}</tex>

return 1

}}