Loading [MathJax]/extensions/tex2jax.js
theorem Th9:
for
n,
m being
Nat for
K being
Ring holds
- (0. (K,n,m)) = 0. (
K,
n,
m)
theorem
for
K being
Ring for
M1,
M2,
M3 being
Matrix of
K st
- M1 = - M2 holds
M1 = M2
Lm1:
for K being Ring
for A, B, C being Matrix of K st len B = len C & width B = width C & width A = len B & len A > 0 holds
A * (B + C) = (A * B) + (A * C)
Lm2:
for K being Ring
for A, B, C being Matrix of K st len B = len C & width B = width C & len A = width B & len B > 0 holds
(B + C) * A = (B * A) + (C * A)