Se verifica que formula_29 es lineal e inyectiva.