theorem RH8: :: NEWTON07:79

RHartr 8 = <*8,56,168,280,280,168,56,8*>