이거 증명보다가 생각난건데 실수정규행렬도 O(2)랑 O(1) 상수배가 대각성분에 나오게 분해할 수 있지 않나요? 별로 쓸모가 없어서 안배우는건가요?