图论作为有效建模工具的原因之一即在于它的灵活性。许多大型系统都可以通过图论语言来形式化该系统的性质，并用来系统地研究其结果。这里通过引入两节点之间的“关键节点”的概念，来讨论上述过程的一个实例。我们已经知道，在一个图中，两节点间的最短路径对应着它们之间的最短距离。若有一个节点X，存在于节点Y和Z之间的所有最短路径上，则称X为Y和Z之间的关键节点（X与Y和Z均不重合）。基于这个概念考察下图，请问下列说法中哪些是正确的：
A．节点D和节点E之间不存在关键节点
B．节点D并非图中任意节点对的关键节点
C．节点B是节点A和节点C、节点A和节点D的关键节点
D．节点B是节点D和节点E的关键节点