П-7 представляет собой завершающий этап преобразований для диаграммы решений, приведенной на рис. П-1. Здесь также применен оператор несущественно он использован для сравнения с графой группа среды .