Note that we have used the Distributive law "backwards." That is, we have used it in the following form (as listed among our tautological equivalences):

(AC)(BC)
(AB)C).