高校数学のベクトルで一次独立を確認した後、係数比較したのは、表現の一意性-一次独立なベクトルは線形結合で表されるとき、一通りしかない-によるものだったのか！今まで知らずに作業っぽくやってたけど、この定理を知ってめっっちゃ納得できた！！