x_rspc := RSpace(Z,5); Norm(x_rspc.1);