Существование ортонормированной базы из собственных векторов для симметрического преобразования