垂线段最短是定理还是公理