>>745
uとvが一次従属 ⇔ au+bv=0 (∃(a,b)≠(0,0))
b≠0として一般性を失わない。
v=-(a/b)u