"Две отличные друг от друга точки А и В всегда определяют прямую а", можно сделать вывод "кратчайшей линией между двумя точками является соединяющая эти две точки прямая". Здесь мы использовали: