The preceding two theorems are just

The preceding two theorems are just examples to illustrate the methodology.
Other extensions of Banach’s theorem can be similarly recast. It would be nice
to find a more abstract formulation that would unify all of these results. Of
course it would even be nicer to have applications.

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

Trước đó hai định lý chỉ là ví dụ để minh họa cho phương pháp luận.
Phần mở rộng khác của định lý Banach có thể được viết lại tương tự. Nó sẽ được tốt đẹp
để tìm một công thức trừu tượng hơn mà có thể thống nhất tất cả các kết quả. Trong số
tất nhiên nó thậm chí sẽ đẹp hơn để có các ứng dụng.