把对顶角相等改成"如果……那么……"的形式