Изменения

Пусть <tex>L</tex> {{- --}} язык простых чисел, тогда <tex>\overline L</tex> {{---}} язык, состоящий из составных чисел и единицы. Покажем, что <tex>\overline L</tex> полуразрешим, а, следовательно, и перечислим согласно теореме, приведённой выше.