Probar la existencia de ciclos límite planares detectados numéricamente