theorem RH5: :: NEWTON07:76

RHartr 5 = <*5,20,30,20,5*>