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