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