Arama Leibnitz theorem