n×n 행렬 A에 대해 L_A : F^n→F^n을 L_A(x)=Ax로 정의하자.
A를 기약행사다리꼴로 바꿨을 때 남는 행들을 모아놓은 선형독립인 집합을 β={v1,v2,...,vk}라 하겠음. 그럼 span(β)는 무조건 L_A-불변임?