Let V be a vector space over F and 6 = (v) V. Then the followings are equivalent. 1) = (v,v) is a basis of V. 2) For each ve V, v=av + + av, is a unique representation.