把命题“两点之间的所有连线中,线段最短”写成:如果...,那么...,的形式