Search Leibnitz theorem