theorem :: MATRIX10:16

for n being Nat
for M being Matrix of n,REAL st M is Positive holds
- M is Negative