Si formula_61 juega el papel de formula_64 y formula_62 el de formula_2: