Furthe rmore , if we prove only the

Furthe rmore , if we prove only the firs t of these equations, the othe r will follow
as a conse que nc e of Axiom (iv) in Definition 2.2. But use of the first four
axioms readily gives

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

Rmore Furthe, nếu chúng ta chứng minh chỉ có linh sam t các phương trình, r Othe sẽ làm theo
như một conse que nc đ (iv) Axiom trong định nghĩa 2.2. Tuy nhiên, sử dụng bốn đầu
tiên đề dễ dàng cho