dot product-distributive law