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