Dot Product is Inner Product
From ProofWiki
Theorem
The dot product is an inner product.
Proof
Follows directly from the definition of inner product and Properties of Dot Product.
$\blacksquare$
