If "L" is recursively enumerable, then the complement of "L" is recursively enumerable if and only if "L" is also recursive.
Если "L" рекурсивно перечислим, то дополнение к "L" рекурсивно перечислимо если и только если "L" также рекурсивен.