章衡转化前，公式应该先fix后prenex