On what has been called Leibniz's rigorous foundation of infinitesimal geometry by means of Riemannian sums