Читаю доказательсво теоремы о спектральном разложении компактнго самосаряженного оператора и на первой строке впадаю в ступор.
Там сказано что собственые векторы оператора

образуют ортонормированный базис.
Ортогональность собственных векторов очевидна. А откуда ортонормированность?Или берется каждый собственный вектор и делится на его норму?