>>471
いいんじゃない？そもそも自明っぽい問題だから、
なぜa1,a2,・・・,ar,x は一次従属か
を一応rの最大性からきちんと言っておいた方がいいと思うけど。