"e""i"k, "n" &gt; "k" &gt; 0によって張られる任意の線型部分空間に対し、作用 "a" を施した像は同じ部分空間には含まれない、ということを意味する。