Redirecting to Fredholm's theorem