FLP86关于不可能在异步分布式系统中解决共识（即使只有一次故障）的著名证明假设，在第三个引理的证明中，存在一个事件e'，这样邻居配置C0和C1可以关联为C1 = e'(C0).
我不明白这是怎么可能的，因为在我看来，这就像e'执行从 0 价配置到 1 价配置的状态转换。此外，引理 3 的案例 1 的证明清楚地表明，任何 0 价配置的任何后继都必须是 0 价配置。我在这里想念什么？
这个问题的答案不回答上面的问题。另一个问题与存在的证明有关C0，C1而不是的存在e'。