把“同位角相等”写成“如果…那么…”的形式为：为．