Leibniz’s theorem