Furthermore , if we prove only the first of these equations, the other will follow as a consequence of Axiom (iv) in Definition 2.2. But use of the first four axioms readily gives
Hơn nữa, nếu chúng ta chứng minh chỉ là người đầu tiên của các phương trình, khác sẽ làm theodo hậu quả 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
Hơn nữa, nếu chúng ta chỉ chứng minh đầu tiên của các phương trình, người kia sẽ làm theo như một hệ quả của (iv) Axiom trong định nghĩa 2.2. Tuy nhiên, sử dụng bốn đầu tiên đề dễ dàng cho