Talk:Fredholm's theorem