Изменения

#*'''Доказательство:''' Если <tex>f:A\to B</tex> и <tex>g:B\to C</tex>, то m-сводящая функция <tex>h:A\to C</tex> выглядит так <tex>h(x) = g(f(x))</tex>.

{{Лемма

|statement=

}}

Приведённая лемма позволяет доказывать алгоритмическую неразрешимость некоторой задачи сводя к ней ''(а не наоборот!)'' другую, неразрешимость которой уже доказана.