>>285 対象行列は対角化可能だから^^
 対角化する行列PはR^3→R^3で全単車