span{I, A, ... A^(n-1)} = span{I, A, ...} 这里有点怪，把span的元素变多，顶多只能说前者是后者的子集但我想可以用A^n 属于span{I, A, ... A^(n-1)} 推出span{I, A, ... } 用数学归纳或强数学归纳