同位角相等 的命题式