>>969

多分、p.154の命題4.7を使わせたいんだろうとは思います。

命題4.7：
R^m の要素 a_1, …, a_n が R 上で1次独立ならば、 C 上でも 1次独立である。