把命题“对顶角相等”，用“如果…那么…”的形式叙述为．