Si asumimos que los elementos de formula_55 son formula_59, entonces esta sentencia equivaldría a: