theorem :: MATRIX10:24

for n being Nat
for M being Matrix of n,REAL st M is Nonnegative holds
- M is Nonpositive