dot product properties distributive