73.26 직교 행렬의 등거리 사상(Isometry) 성질과 신호 보존 증명