Нормальные операторы — это такие линейные ограниченные операторы в гильбертовом пространстве, у которых

. Я много где читал, что у них есть свойство

, но доказательства не нашёл. Объясните, если не трудно (нужно воспользоваться им при решении задачи, препод просит всё расписать подробно).