theorem :: NEWTON07:86

Hartr 5 = <*(1 / 5),(1 / 20),(1 / 30),(1 / 20),(1 / 5)*>