>>842
ブルバキ流の線型代数だと普通の線型代数とは順序が逆になってそうなる