20.推算等式