leibnitz theorem