As the term "stable model" suggests, every stable model of P {\displaystyle P} is a model of P {\displaystyle P} .
Як підказує термін «стійка модель», кожна стійка модель P {\displaystyle P} є моделлю P {\displaystyle P} .