Hay que decidir si un vector es formula_11-prometedor, sabiendo que es una extensión de un vector formula_32-prometedor.