(x1,...xn) |->Σ|xi| は連続, {x∈R| x≦α} は閉