Dot Product is Inner Product

Theorem
The dot product is an inner product.

Proof
Follows directly from the definition of inner product and Properties of Dot Product.