公垂线就是两条异面直线的距离吗?