theorem :: NEWTON07:85

Hartr 4 = <*(1 / 4),(1 / 12),(1 / 12),(1 / 4)*>