两铅垂面的交线一定是铅垂线