proof for normal matrix is diagonalizable