Any two subsets of variables are conditionally independent given a separating subset