직교 변환과 대칭 변환의 기본 성질