Si formula_1 es un dominio de integridad este es inyectivo.