Como habíamos caracterizado a formula_46 como "el vector viejo con valores nuevos", la primera restricción puede representarse: