theorem RH4: :: NEWTON07:75

RHartr 4 = <*4,12,12,4*>