Инвариант_графа loading ...