把命题“对顶角相等”改写成“如果…那么…”的形式:( )。