4、一个公式在等价意义下，_______范式写法是唯一的。