5.056 , Fredholm , I . H.