m6-inner-product-spaces-and-euclidean-space