（）是后加入到原条件中的虚拟变量，要求经过基变换最终替换出来。