Fredholm alternative theorem