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
Furthe rmore, nếu chúng ta chứng minh chỉ t Sam của các phương trình, othe r sẽ làm theonhư là một conse que nc e của Axiom (iv) trong định nghĩa 2.2. Nhưng sử dụng trong bốn đầu tiêntiên đề dễ dàng cung cấp cho
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