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