 Faulhaber did not know the properties of the coefficients discovered by Bernoulli.Rather, he knew at least the first 17 cases, as well as the existence of the Faulhaber polynomials for odd powers described below.A rigorous proof of these formulas and his assertion that such formulas would exist for all odd powers took until .