Интересно, что в первоначальном издании своей книги (1974 года) Хирш и Смейл заявили в конце 143-ей страницы, что утверждение о выразимости любого решения в виде (однозначной) линейной комбинации основных функций не удаётся доказать лёгкими операторными методами. Но потом они увидели (а скорее им сказал кто-то из читателей их книги), что в "Линейной алгебре" Ленга (изданной в 1966 году) это как раз и было сделано. И тогда Хирш и Смейл в следующем "принтинге" поменяли конец 143-ей страницы и дали ссылку на Ленга.