Убил себе моск. И начал писать доказательство компактности оператора Гильберта-Шмидта.