Se tiene además que formula_4 es suprayectiva y que formula_5 es inyectiva.