Элементарная теория линейных операторов.

Проверка: