неразрешимость по Тьюрингу

[PreVory]

Доказать неразрешимость по Тьюрингу проблемы эквивалентности.

(Оффтоп)

Т.е. то, что язык E={$<T_1,T_2>|L(T_1)=L(T_2)$} -не разрешим, где $<T_1>$ главный код машины Тьюринга $T_1,<T_2>$ главный код машины Тьюринга $T_2, L(T_1)$ язык, распознаваемый машиной Тьюринга $T_1,L(T_2)$ язык, распознаваемый машиной Тьюринга $T_2$.

Пытался найти доказательство в интернете, там сводят это доказательство к неразрешимости проблемы самоприменимости, но я не понимаю как. А самому доказать не удаётся.

[PreVory]

Уже придумал как доказать это. Тему можно удалять)