把命题“对顶角相等”写成“如果……，那么……”的形式为                   .