theorem :: MATRIX10:33

for n being Nat
for M being Matrix of n,REAL holds |:M:| is Nonnegative