Definition:Dot Product/Definition 1