the most elementary theorem of Euclidean Geometry