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