Es fácil verifica que la correspondencia formula_224 es inyectiva.