 Householder-John theorem

Let $A=M-N$ be Hermitian positive definite. If $M^{\ast }+N$ is also Hermitian positive definite, then $M$ is invertible andThus the stationary iteration associated with the splitting converges from every initial vector.