用等值演算方法证明两个公式相等的理论基础是（）。