"Fredholm alternative" . . "Fredholm alternative" . .