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