条件独立是对一个变量的所有情况都成立，而不只是针对一个变量。
Theorem: If P factorizes over G, and d-sepe(X,Y | Z) then P satisfies (X ⊥Y | Z)
可以尝试推导验证
