proof normal matrix are diagonalizable