( U-2 ) Hay que demostrar que todo elemento de formula_22 es elemento de formula_23 (demostrar que formula_24) y que, recíprocamente, todo elemento de formula_23 es elemento de formula_22 (demostrar que formula_27).