For we have seen that Bernoulli's theorem follows immediately from the binomial formula; moreover, I have shown that the first binomial formula can be derived for finite sequences and so, of course, without any axiom of convergence.