あるベクトル
このとき、ベクトルの組
が線形独立であれば、
ベクトル が仮に2種類の表し方が存在したとする。すなわち、
が成り立つとする。この時、
が成立する。ここで、ベクトルの組 は線形独立なので
が成り立ち、一意的に定まる事が示された。
が成り立つとする。この時、
が成立する。ここで、ベクトルの組
が成り立ち、一意的に定まる事が示された。