垂线段最短是命题吗?急