Изменения

{{Teорема

|author= h

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