>>525ですが、
ａ＋ｂ、ａ−ｂが一次独立でないとし、これらの式をｋ、ｌ倍して足すと一次結合の形で表され、対偶が示された。よってａ、ｂが一次独立ならばａ＋ｂ、ａ−ｂは一次独立である。
これで合ってますかね？