This proves that the set on the left-hand side is a subset of the one on the right-hand side. The reverse inclusion is trivial, and the claim is proved.
Điều này chứng tỏ các thiết lập ở bên trái là một tập hợp con của một ngày cácbên phải. Sự bao gồm đảo ngược là tầm thường, và yêu cầu bồi thường đã được chứng minh.
Điều này chứng tỏ rằng các thiết lập ở phía bên tay trái là một tập hợp con của một trong những trên bên phải. Việc đưa ngược lại là tầm thường, và yêu cầu được chứng minh.