当A等于B,B必定等于A是公理还是定理