把命题“同位角相等”改写成“如果……那么……”的形式是