(El único vector factible formula_11 en la preimagen es formula_13).