Proof

  1. Suppose we have linear
  2. Check left side:
    1. Picking , calculate:
    2. by applying
    3. by defn of
  3. Check right side:
    1. by defn of
    2. by applying and
  4. Note that L.S = R.S, thus compositions are distributive