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):