rediagonalizes