Euclidean geometry of the plane