Пусть L1 ⊆ {0, 1} ∗ и L2 ⊆ {0, 1} ∗ - это RE (рекурсивно перечислимые) языки такие, что L1 ∪ L2 = {0, 1} ∗ и L1 ∩ L2 6 = ∅. Докажите, что L1 алгоритмически сводимо к L1 ∩ L2, то есть существует алгоритм, который для каждого w ∈ {0, 1} ∗ создает подходящий v ∈ {0, 1} ∗ такой, что w ∈ L1 тогда и только тогда если v ∈ L1 ∩ L2.