[equal] 实现带等词的证明，但没有证明项