Exclusion: There is no reachable sy

Exclusion: There is no reachable system state in which the set of users in their critical regions is a set in g.
The progress condition is as before.

Kết quả (Việt) 1:

Loại trừ: Đó là không thể truy cập hệ thống nhà nước, trong đó các thiết lập của người dùng trong các khu vực quan trọng của một bộ Son. Điều kiện tiến bộ là như trước.

Kết quả (Việt) 2:

Loại trừ:. Không có hệ thống nhà nước có thể truy cập, trong đó tập hợp các người dùng ở các khu vực quan trọng của họ là một tập hợp trong g
Các điều kiện tiến bộ là như trước.