Procura Leibnitz theorem