将命题改成“如果...那么...”的形式 对顶角相等