Матан-матанчик: Определения по Коши и по Гейне предела функции в точке, теорема