theorem :: NEWTON07:87

Hartr 6 = <*(1 / 6),(1 / 30),(1 / 60),(1 / 60),(1 / 30),(1 / 6)*>