各々の固定化されたベクトルx ∈ tmに対し、tは、