We've previously shown that the graph structure encodes a set of independencies and that, that set of independencies then necessarily holds for every distribution that can be encoded as a Bayesian network over that graph. 