Manipulation of Exterior Derivative

Theorem
For the exterior derivative, the following statements are true:

$d(ab) = adb + (da)b \ $

$d(a \wedge b ) = da \wedge b - a \wedge db \ $