theorem :: NEWTON07:89

Hartr 8 = <*(1 / 8),(1 / 56),(1 / 168),(1 / 280),(1 / 280),(1 / 168),(1 / 56),(1 / 8)*>