Euclidean vector
Under these operations alone, it is sufficient to show that the Aitchison simplex forms a formula_9-dimensional Euclidean vector space.