Inverse spectral theory, Borg-Marchenko theorem