유클리드 기하학에서의 어떤 평면에서 두 점이 주어졌을 때 이 두 점 사이의 최단거리는 두 점을 잇는 직선의 거리라는게 증명이 가능한 명제임? 아니면 공준 내용과 동치인건가?