theorem :: NEWTON07:84

Hartr 3 = <*(1 / 3),(1 / 6),(1 / 3)*>