text: Диагонализатор остановится в том и только том случае, если алгоритм с номером K {\displaystyle K} (то есть, он сам) не останавливается, получив на вход число K {\displaystyle K} (какое мы ему и передали).