等价句

equational