Bayesian network if and only if it satisfies the local Markov Property

Statement

Lemma

Let be a directed acyclic graph and a set of random variables. is a Bayesian network if and only if it satisfies the Local Markov property.

Proof