The external derivative d of linear forms w,m satisfies the following rules:
  1. d(aw + bm) = adw + bdm,
  2. d(w /\ m) = dw /\ m - w /\ dm,
  3. ddw = 0.