章衡公式   对没有量词约束的变量添加全局量词