A theorem for locating eigenvalues. - Xiaoshu Pan; Hua Dai (Computing, 1985)