Each of these laws is a logical con

Each of these laws is a logical consequence of the defini-
tions of the various matrix operations. To give formal proofs
of them all is a lengthy, but routine, task; an example of such a
proof will be given shortly. It must be stressed that familiarity
with these laws is essential if matrices are to be manipulated
correctly.

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

Mỗi người trong số những luật này là một hệ quả hợp lý của defini-tions của các hoạt động ma trận. Để cung cấp cho chính thức chứng minh của họ tất cả là một nhiệm vụ dài, nhưng thường xuyên, một ví dụ như vậy một bằng chứng sẽ được cung cấp một thời gian ngắn. Nó phải nhấn mạnh rằng quen với những luật là điều cần thiết nếu ma trận là để được thao tác một cách chính xác.