00KL Proposition 3.11. Assume that there exist a norm ∥⋅∥1\lVert\mathord{\cdot}\rVert_{1} on V1(L)V_{1}(L) such that ϕ\phi is equal to FS(∥⋅∥1)\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{1}). Then for any n∈ℕn\in\mathbb{N}, FS(∥⋅∥nϕ)\mathrm{FS}(\lVert\mathord{\cdot}\rVert_{n\phi}) is equal to nϕn\phi. ([CMor18, Proposition 3.3])