Изменения

{{Теорема

|id = factorization independence

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

|proof= g