theorem RH7: :: NEWTON07:78

RHartr 7 = <*7,42,105,140,105,42,7*>