Изменения

|statement=Если <math>P</math> факторизуется над <math>G</math>, то в <math>P</math> каждая переменная независима (<math>d</math>-разделена) от вершин, не являющихся её потомками, при означивании родителей.