Fredholm , kanske Fridtiuv bade varit lämpligare?