把“对顶角相等”写成“如果……那么……”的形式为               。