若m垂直平面a,n垂直平面b,且a垂直b,则m垂直n