The forking lemma is of use when it would be possible, given two different random signatures of the same message, to solve some underlying hard problem.
Лемма разветвления полезна, когда было бы возможно, учитывая две разные случайные подписи одного и того же сообщения, решить некоторую сложную проблему.