Lema: "B" debe producir alguna salida