n次元ベクトル空間でPをn次の正則行列とします。
{v1,v2,v3}が一次独立のとき、{v1,v2,v3,Pv1,Pv2,Pv3}もまた
一次独立になるPの条件（必要十分）はなんでしょうか？
ただし、nは6以上とします。