theorem :: NEWTON07:83

Hartr 2 = <*(1 / 2),(1 / 2)*>