已知"a=b",则有"a-c=b-c",这一推理过程运用的公理是