“…First, given an independence like < A, B|C >, the probability distribution of X ABC obeys the independence if, and only if, the HMM parameters η M abc = 0, where a ⊆ A, b ⊆ B, c ⊆ C, a, b = ∅ and M is any subset of V , see Bergsma, W. P. and Rudas, T. (2002). Second, given a generic parameter η M L (i L ), the choice of the unspecified category of the variable X j with j ∈ M\L is arbitrary and we set equal to the first category without loss of generality, see Nicolussi, F. and Cazzaro, M. (2019). Finally, in force of the consideration in the proof of Theorem 4.2, all the parameters η M vc are null if v ⊆ T h and c ⊆ pre(T h )\(pa T (T h )).…”