тогда
поэтому
Следовательно,
Оператор является унитарным оператором, поэтому он переводит ортонормированный базис в ортонормированный базис, стало быть, имеет место Фурье разложение:
