antaga , att hrFredholm