Лекция 5. С.Л.Кузнецов. Интерполяционная лемма для Int