Fredholm theorem