a和m垂直,a和b平行从而得出b和m垂直是什么定理