命题分为（    ）和 （    ）两部分，把命题“对顶角相等”改写成“如果…，那么…”的形式为（    ）。