antaga , att hr 0 . idessa