Изменения

for <tex>\langle x_i, y_i\rangle \in \gamma</tex>

if <tex>p(x_i) \not= y_i</tex>

return 1

Полуразрешителя достаточно для доказательства перечислимости.

}}

== Лемма о перечислимости свойства перечислимого множества образцов ==