Euclidean_plane_geometry