Теоремы конечности для предельных циклов: схема обновленного доказательства