将命题同位角相等改成如果 那么的形式为 将命题对顶角相等的题设是 ,结论是 .