Если <tex>A\le_{m}B</tex> и <tex>A</tex> неразрешимо, то <tex>B</tex> неразрешимо.
|proof=
Если <tex>B</tex> неразрешимо, то для любого разрешимого <tex>X: X\ne B</tex>Следует из второго свойства. Пусть мы хотим найти точку, в которой Достаточно преобразовать утверждение ''Из <tex>XA</tex> отличается от следует <tex>B</tex>. Рассмотрим <tex>f</tex> которая m-сводит <tex>A</tex> '' к виду ''Из <tex>B</tex>. <tex>f^\overline{-1}(X)</tex> будет разрешимым, как прообраз разрешимого множества. Поэтому можно найти точку <tex>x</tex>, в которой <tex>X</tex> отличается от <tex>A</tex>. Тогда <tex>B</tex> будет отличаться от <tex>X</tex> в точке <tex>f(x)</tex>.Покажем, как вычислить номер <tex>f^{-1}(X)</tex> по номеру <tex>Xследует </tex>. Рассмотрим множество <tex>V=\overline{(x,y)|(x,f(y))\in W\}</tex>, где <tex>W</tex> — [[Главные нумерации|главная нумерация]]. Оно перечислимо, поскольку является прообразом перечислимого <tex>W</tex> при вычислимом отображении <tex>(x,y)\rightarrow(x,f(y))</tex>. <tex>V_n=f^{-1}(W_n)</tex>. По свойству главной нумерации, существует всюду определенная вычислимая функция <tex>g</tex>, для которой <tex>\forall n:W_{g(n)}=V_n=f^{-1A}(W_n)</tex>, то есть <tex>g</tex> даёт <tex>W</tex>—номер его прообраза при отображении <tex>f</tex>, что и требовалось''.
