Рекурсивная теорема Эскобара - Пробитию Дна предшествует Пробитие Дна. Обратное тоже верно.