theorem :: MATRIX10:35

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