Reply:>>1 それは座標の存在を前提にして考えている。行列を使っても特に問題はないのだが、座標を考えなくても証明できることに注意。