“数字”表示的是公式的编号,也就是第几个公式.
“相加等于零”表示这两个公式是可逆的,也就是说在顶层已经面色的情况下,做一遍第一个公式就会变成第二个公式的情况,而做一遍第二个公式就会变成第一个公式的情况,两种情况可以相互转换,是可逆的.