 That is, where for all .Then matrix "A" is also an "M-matrix" if it can be expressed in the form , where with , for all , where is at least as large as the maximum of the moduli of the eigenvalues of , and is an identity matrix.For the non-singularity of , according to the Perron-Frobenius theorem, it must be the case that .