f I . G . Fredholm.