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