直交行列は転置が逆行列だから