theorem for normal matricesTheoremLet A be a square matrix. Then A is normal matrixif and only if there is a polynomial g such that AH=g(A).