body: = 0. The third defining property implies as a special case that if f is a function and α a is k-form, then d( fα) = d( f ∧ α) = df ∧ α + f ∧ dα because a function is a 0-form, and scalar multiplicatio