把命题:对顶角相等 改成如果……那么……的形式