J . H . G . Fredholm.