63
правки
Изменения
Нет описания правки
|author=
|statement=Если <math>P</math> факторизуется над <math>G</math>, то <math>G</math> является картой независимостей для <math>P</math>.
|proof=Теорема является более формальной записью утверждения про <math>d</math>-разделимость выше, доказательство на примере из рисунка 2 приведено выше.
}}
