En el papel conocidoImposibilidad de consenso distribuido con un proceso defectuoso (JACM85)FLP (Fisher, Lynch y Paterson) demostró el sorprendente resultado de que ningún protocolo de consenso completamente asíncrono puede tolerar incluso una sola muerte de proceso no anunciada.

En el Lema 3, después de mostrar que D contiene configuraciones tanto 0-valent como 1-valent, dice:

Llamar a dos configuracionesvecinos Si uno resulta del otro en una sola.paso. Por una inducción fácil, existen vecinos C₀, C₁ ∈ C, de modo que Dᵢ = e (Cᵢ) es i-valent, i = 0, 1.

Puedo seguir toda la prueba, excepto cuando afirmen la existencia de tales C such y C₁. ¿Podría por favor darme algunos consejos?