>>637
・{a1,a2,…,an}は1次独立
・<a1,a2,…,ar>=W

の定義は?