假定条件的等价变换