D의 대각선은 실수 고유값과 켤레 복소수 쌍으로 이루어져야 합니다(X가 실수 행렬일 때 EIG(X)의 출력과 같음).