命题“对顶角相等”的题设是(),结论是(),把它改写成如果那么的形式是()