加法交换律公式是方程式吗