R^n = span(β) = span(β'), (β는 R^n의 표준순서기저, β'는 R^n의 기저)


이때 T: span(β') -> span(β)가 유일하게 존재해서 T(β') = Qβ' = β, Q = [T]^β_β' 이고

[T]^β_β' = [TI]^β_β' = [T]_β * [I]^β_β' 이며

T: span(β) -> span(β)는 T(β) = β인 항등변환이므로 [T]_β = [I]_β

Q = [T]^β_β' = [I]^β_β'