Анализируется эффект наложения дизассемблированных инструкций и факт схождения дизассемблированных последовательностей байт. Приводится лемма и теорема о вероятности схождения двух дизассемблированных последовательностей байт, дизассемблирование которых начато с разных позиций. Приводятся два следствия, замечание и выводы о возможности применения эффекта схождения на практике, в частности в задачах анализа и трансформации программ без исходных текстов