text: Точка, в которой процесс разветвляется, может быть тем, что мы хотим определить позже, возможно, основываясь на поведении A в первый раз: вот почему утверждение леммы выбирает точку ветвления J {\displaystyle J} на основании выходных данных A. Требование о том, что h J ≠ h J ′ {\displaystyle h_{J}\neq h_{J}^{\prime }} является техническим требованием, используемым многими леммами.