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