Because the initial state is in G,

Because the initial state is in G, it is in 7~7", and (at least) one of the two conditions indicated in the definition of G holds. Assume without loss of generality that the first holds, that is, that there is a process i such that i E ~U ~- and i - 1 E ,--+ U R U F. The argument for the second condition is symmetric.

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

Bởi vì trạng thái ban đầu là Son, đó là trong 7 ~ 7", và (ít nhất) là một trong hai điều kiện nêu trong định nghĩa của tổ chức G. Giả sử mà không làm mất quát rằng người đầu tiên nắm giữ, có nghĩa là, là một quá trình tôi như vậy mà tôi E ~ U ~ - và tôi - 1 E,... + U R U F. Các đối số cho điều kiện thứ hai là đối xứng.

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

Bởi vì tình trạng ban đầu là trong G, đó là trong 7 ~ 7 ", và (ít nhất) một trong hai điều kiện nêu trong định nghĩa của G giữ. Giả sử mà không mất tính tổng quát rằng người đầu tiên nắm giữ, đó là, rằng có một quá trình i sao cho i E ~ U ~ - và tôi - 1 E, - + URU F. Lập luận cho điều kiện thứ hai là đối xứng.