inverse eigenvalues theorem