theorem :: NEWTON07:88

Hartr 7 = <*(1 / 7),(1 / 42),(1 / 105),(1 / 140),(1 / 105),(1 / 42),(1 / 7)*>