#### 分布式计算 – FLP不可能性结果的证明(引理3)中是否存在$C_0,C_1$？

Call two configurations neighbors if one results from the other in a single step. By an easy induction, there exist neighbors $C_0, C_1 \in C$such that $D_i = e(C_i)$is i-valent, $i = 0, 1$.

My Question: Though it is considered easy, I fail to prove the existence of such $C_0, C_1$. Could you please give me some hints?

D(将e应用于C的元素之后的可能配置的集合)包含0价和1价配置(并且假设不包含二价配置).