>>890
aとbが一次従属なら、最小のところで b-ta = 0となるので
(2)でそれを回避するために一次独立としてあるのだ。
最初から(2)を書いておけばよかったのだ。