El desarrollo sobre asignacion es en direccion que usan demostracion necesaria cual puede completarse automaticamente