theorem :: NEWTON07:82

Hartr 1 = <*1*>