Leibniz distinguishes between demonstrations that are finite in steps and those requiring infinite a...