В известной статьеНевозможность распределенного консенсуса с одним ошибочным процессом (JACM85)FLP (Фишер, Линч и Патерсон) доказали удивительный результат, заключающийся в том, что ни один полностью асинхронный протокол консенсуса не может допустить даже одного необъявленного процесса смерти.

В лемме 3, после того, как показано, что D содержит как 0-валентную, так и 1-валентную конфигурации, он говорит:

Вызовите две конфигурациисоседи если один результат от другого в одномшаг, По простой индукции существуют соседи C₀, C₁ ∈ C, такие что Dᵢ = e (Cᵢ) i-валентна, i = 0, 1.

Я могу следовать всему доказательству, за исключением случаев, когда они заявляют о существовании таких C₀ и C₁. Не могли бы вы дать мне несколько советов?