The opposite inclusion is clear, an

The opposite inclusion is clear, and so S is established

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

Sự bao gồm đối diện là rõ ràng, và do đó S thiết lập

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

Việc đưa ngược lại là rõ ràng, và do đó S được thành lập