Изменения

|author=

|statement=Если <math>P</math> факторизуется над <math>G</math> и <math>dsep_G(X, Y|Z)</math>, то <math>P \models (X \bot Y|Z)</math>.

<math>dsep_G(D, S|G)</math>,

Значит, <math>P\models (X\bot Y | Z)</math>.

{{Утверждение