theorem :: MATRIX10:25

for n being Nat
for M being Matrix of n,REAL st M is Negative holds
M is Nonpositive ;