a + b
a - b

この二つが一次独立では無いとすると２つの式を足したり引いたりした結果
a // bとなって矛盾が生じる。従って、a bが一次独立ならa + bとa - bも一次独立。