Divergence Leibniz Rule