(P9) The Distributive Law. .
Derivation of Property (P 9).
(c) 2006 John H. Mathews, Russell W. Howell