We didn't seem to talk about Linearity. Since the Inner Product space by its definition is a vector space, which holds the definition of distributivity of scalar multiplication with respect to vector and field addition. Geometrically, it works as seen before (in slide 10)