Rõ ràng điều này ngụ ý z ∈ S: = ∩ Ni = 1 S tôi ∩ K. Kể từ khi S là nonempty đóng cửa lồivà T-bất biến, bởi minimality k nó phải là các trường hợp đó S = K. trongđặc biệt S 1 = K. Hence nếu bạn ∈ K và nếu ε > 0 lựa chọn như vậy đó r + ε <Diam(K), sau đó
đang được dịch, vui lòng đợi..
