Leibniz Rule for Cup Product