>>430 補足
ｎ次元ベクトル空間 V で、v1, v2, ..., vn が線型独立なら、ｎ-1次元 v2, v3, ..., vn も線型独立が言える。
さらに

（補足）
１．線型従属 a1v1+a2v2+・・・ +anvn=0 スカラー a1, a2, ..., an が存在して、(a1, a2, ..., an) ≠ (0, 0, ..., 0)
２．線型独立 a1v1+a2v2+・・・ +anvn=0 スカラー a1, a2, ..., an が存在して、必ず(a1, a2, ..., an) ＝ (0, 0, ..., 0)
３．ｗ＝a2v2+・・・ +anvn と置く。もしｎ-1次元 v2, v3, ..., vn が線型従属として、 (0, 0, ..., 0)以外でｗ=0となったとすると
　 ｘ＝a1v1+ｗにおいて、a1＝0とするとｘ＝0とできることになり、この場合、必ず(a1, a2, ..., an) ＝ (0, 0, ..., 0)に反する
　 だから、ｎ-1次元 v2, v3, ..., vn も線型独立でなければならない。つまり、ｎ次元以下でも、すべて線型独立
４．これを>>423 に当てはめると、”ベイカーの定理で、”1”が付属している数学的な意味”は、代数的数体をQ~として
　 １）log α1,・・・,log αn は、代数的数体Q~上線形独立のみならず
　 ２）”1”即ち代数的数体Q~からも線形独立→log α1,・・・,log αnの線型結合は超越数である

　　そういうことかいな（＾＾
　　やっとわかった。ID:yyQdAFWmさま>>423、どうもありがとう