8.4.2 The Distributive Property