Proving the "associative", "distributive" and "commutative" properties for vector dot products.
License: CC BY-NC-SA by Khan Academy