theorem RH6: :: NEWTON07:77

RHartr 6 = <*6,30,60,60,30,6*>