命题:对顶角相等,写成“如果.那么.”的形式