theorem RH3: :: NEWTON07:74

RHartr 3 = <*3,6,3*>