La prueba de la inyectividad permite intuir un (forzosamente único) antecedente de "v".