algoritmo LV(ent x:tpx; sal s:tpsolución;