Para cada formula_5 el mapeo formula_20 es denotado por formula_21