Sea formula_22 un elemento de formula_4 algebraico sobre formula_5.