[Лекция 9] Дошёл до формулировки свойств компактного оператора.