theo các giả định của định lý 1, n chuỗi được đưa ra trong 2 là precompact trong ý nghĩa sau đây, giả sử một n đặt mở bị chặn được đưa ra, sau đó có tồn tại một subsequence phụ thuộc vào n, chúng tôi relabel, như vậy mà
đang được dịch, vui lòng đợi..
