Talk:Fredholm solvability