>>43

s よりも多くの一次独立なベクトルが存在しないことはどうやって
証明するのですか？

明らかじゃ証明にはなりませんよね。

証明しようと思うと次元の一意性の定理と同じ論法を使うことになり
ますよね。

明らかじゃないことを単に明らかだと思いこんでいるだけでないでしょうか？