if "a" is unital, then ∂(1) = 0 since ∂(1) = ∂(1 × 1) = ∂(1) + ∂(1). for example, in a differential field of characteristic zero formula_28, the rationals are always a subfield of the field of constants of formula_28.