π(x1, ..., xk)=(x1, ..., xk,0, ...,0) (x1, ..., xl) ↦→ (x1, ..., xk) ∥v∥ = a g(t