命题“同位角相等”是真命题吗