Furthermore, if an atom is false in the well-founded model of a program then it does not belong to any of its stable models.
Крім того, якщо атом є хибним у добре обґрунтованій моделі програми, то він не належить до жодної з її стійких моделей.