File:MathFoundations137 Algebraic structure on the Euclidean projective line