This proof is missing a step showing that the problem exemplified by the simple two-node system applies to all system topologies. This website only proves: "the

This proof is missing a step showing that the problem exemplified by the simple two-node system applies to all system topologies. This website only proves: "there exists a system for which CAP is impossible." I do not think the generalizing argument will be complicated, but it should be included.