for every formula_3. note that the ring could be noncommutative, so the somewhat standard d("xy") = "x"d"y" + "y"d"x" form of the product rule in commutative settings may be false. if formula_4 is multiplication on the ring, the product rule is the identity