theorem RH2: :: NEWTON07:73

RHartr 2 = <*2,2*>