О симметризации комплексных нормальных матриц

Доказано, что всякую комплексную нормальную матрицу можно симметризовать посредством унитарного подобия, определяемого за конечное число арифметических операций и извлечений квадратных корней.