"The most notable of these [his mathematical works] was his Arithmetica infinitorum, which was published in 1656. It is prefaced by a short tract on conic sections which was subsequently expanded into a separate treatise. He then established the law of indices, and shewed that x^{-n} stood for the reciprocal of x^n and that x^\frac{p}{q} stood for the q^{th} root of x^p. He next proceeded to find by the method of indivisibles the area enclosed between the curve y = x^m, the axis of x, and any ordinate x = h; and he proved that this was to the parallelogram on the same base and of the same altitude in the ratio 1:m + 1. He apparently assumed that the same result would also be true for the curve y = ax^m, where a is any constant. In this result m may be any number positive or negative, and he considered in particular the case of the parabola in which m = 2, and that of the hyperbola in which m = -1: in the latter case his interpretation of the result is incorrect. He then shewed that similar results might be written down for any curve of the form y = \sum{ax^m}; so that if the ordinate y of a curve could be expanded in powers of the abscissa x, its quadrature could be determined. Thus he said that if the equation of a curve was y = x^0 + x^1 + x^2 +... its area would be y = x + \frac{1}{2}x^2 + \frac{1}{3}x^3 +... He then applied this to the quadrature of the curves y = (1 - x^2)^0, y = (1 - x^2)^1, y = (1 - x^2)^2, y = (1 - x^2)^3, &c. taken between the limits x = 0 and x = 1: and shewed that the areas are respectively1,\quad \frac{2}{3},\quad \frac{8}{15},\quad \frac{16}{35},\quad \&c."