Basically it states that for any in

Basically it states that for any initial public values having property  and for any
private initial values having property , the result of the computation has property
 over public outputs. In particular the previous example corresponds to checking

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

Về cơ bản nó nói rằng đối với bất kỳ giá trị công cộng ban đầu có tài sản và cho bất kỳriêng giá trị ban đầu có tài sản, các kết quả tính toán có bất động sảnqua kết quả đầu ra khu vực. Đặc biệt các ví dụ trước tương ứng để kiểm tra

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

Về cơ bản nó nói rằng đối với bất kỳ giá trị nào ban đầu có tài sản? và cho bất kỳ
tin giá trị ban đầu có tài sản?, kết quả của việc tính toán có tài sản
? trên kết quả đầu ra công chúng. Cụ thể là các ví dụ trước tương ứng với kiểm tra