We have chosen, at this time, not to include a proof that the dot product is distributive. If questions arise, you may want to read the following paper on this subject:
Tevian Dray and Corinne A. Manogue, The Geometry of the Dot and Cross Products, JOMA 6
(June 2006). (MathML version; published version)