For a more formal argument, we can

For a more formal argument, we can use equation (10.4):

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

Đối với một đối số chính thức hơn, chúng tôi có thể sử dụng phương trình (10.4):

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

Đối với một lập luận chính thức hơn, chúng ta có thể sử dụng phương trình (10.4):