This fact holds true in absolute geometry, and I would like to see an elementary synthetic proof not using the classification of absolute planes (Euclidean and hyperbolic planes) and specific models. Actually I know such a proof (from Skopets - Zharov book), but it uses the third dimension which has to be justified itself.