ell^r 8 förmodas H.