# Dot product

THEOREM    The dot product is commutative.

Proof available

THEOREM    The dot product distributes over addition.

Proof available